Internet Archive BookReader - Dewitt Miller : a biographical sketch